The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory is located in the 3rd and 4th floor of the historic Winslow building. To reach the Winslow Building by GPS, search for'Winslow Building Troy NY'. Research and development in the RAIR Lab ranges across a number of applied projects, as well as across many of the fundamental questions AI raises (e.g., Are we machines ourselves? Everything is to a high degree unified by the fact that the formalisms, tools, techniques, systems, etc. that underlie the lab's R&D are invariably based on reasoning. Because of this, logic plays for us a central role (since, after all, logic is the science of reasoning), but reasoning can be implemented in many ways, and so to reach our goals we happily turn to, from among the RAIR Lab's many options, the computational reasoner that helps get the job.